//
// Created by user on 20-5-5.
//

#ifndef _HEPT_H_
#define _HEPT_H_

#include "../../GeneralLibrary/Printf.h"
#include "../../GeneralLibrary/Lib.h"
#include "../../MemoryManagement/Malloc.h"
#include "../../InterruptManagement/APIC.h"
#include "Time.h"
#include "../SoftIRQ.h"
#include "Timer.h"
#include "../Task.h"
#include "../Schedule.h"

extern Time time;

extern hwInterruptController HPETInterruptController;

extern unsigned long volatile jiffies;

/**
 * HPET初始化
 */
void HPETInit();

/**
 * HPET处理函数
 * @param nr 中断号
 * @param parameter 参数
 * @param regs 寄存器信息
 */
void HPETHandler(unsigned long nr, unsigned long parameter, PerformSite *regs);

#endif //_HEPT_H_
